perm filename MATCH.LSP[W78,JMC] blob sn#345038 filedate 1978-03-30 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	(defun solve (p u) (cond ((null p) nil)
C00003 ENDMK
CāŠ—;
(defun solve (p u) (cond ((null p) nil)
((eq p t) u)
((atom p) (mapappend (function (lambda (w)
((lambda (z) (cond ((null z) (cons (cons p t) w))
(t nil)))(assoc p w)))) u))

((eq (car p) 'eqbag)